Towards a methodology for ontology based model engineering

The philosophical discipline of Ontology is evolving towards an engineering discipline, and in this evolution the need for a principled methodology has clearly arisen. In this paper, we briefly discuss our recent work towards developing a methodology for ontology-based model engineering. This methodology builds on previous methodology efforts, and is founded on important analytic notions that have been drawn from Philosophy and adapted to Engineering: identity, unity, rigidity, and dependence. We demonstrate how these techniques can be used to analyze properties, which clarifies many misconceptions about taxonomies and helps bring substantial order to ontologies.